Updated `.gitignore` to ignore generated plonky2 state

* Update Cargo.toml

Remove test-only from default features.

* Fix Literal(proof)

* Fix Clippy

---------

Co-authored-by: Linda Guiga <lindaguiga3@gmail.com>

…sion for circuits consistency check

Bumps [h2](https://github.com/hyperium/h2) from 0.3.25 to 0.3.26.
- [Release notes](https://github.com/hyperium/h2/releases)
- [Changelog](https://github.com/hyperium/h2/blob/v0.3.26/CHANGELOG.md)
- [Commits](hyperium/h2@v0.3.25...v0.3.26)

---
updated-dependencies:
- dependency-name: h2
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>

Bump h2 from 0.3.25 to 0.3.26

Reduce verbosity in logs

- Previously they were both different, and both were missing important
  modules.

Debug & proving scripts now use indentical logging

Load .env file in verifier binary

feat: add circuit version consistency check

- Was not mentioned in the readme at all, and people would always run
  into this if they followed the old docs.

Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>

…_blocks

Updated docs for new parameter in `prove_blocks.sh`

Now logs time to generate proofs

- Txn ident was being printed twice.
- Only the first `4` chars of the ident were being printed.

Fixed txn proof logs not rendering correctly

Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>

Block Proof CI

* cargo audit update

* update plony2/evm

* fmt

* feat: provide IR for debugging upon failure

* fix: fix clippy issues

* fix: fix pr comments

* fix: make evm_arithmetization non optional for ops

* fix: fix pr comments

* fix: fix clippy issues

* fix: fix clippy issue

* fix: fix pr comment

* fix: fix clippy issue

* fix: fix cargo lock

* fix: fix pr comments

* fix: fix format issues

* fix: fix save input on error for test-only

* fix: fix pr comments

* fix: fix

* fix: fix clippy issue

* fix: fmt fix

---------

Co-authored-by: Vladimir Trifonov <trifonov.vp@gmail.com>

* fix: fix circuit version consistency check

* fix: fix clippy issues

* fix: update deps

---------

Co-authored-by: Vladimir Trifonov <trifonov.vp@gmail.com>
Co-authored-by: Robin Salen <salenrobin@gmail.com>

match circuit sizes between leader/worker

Pull changes from Polygon's repo